P250, Introduction To Symbolic Logic, Lecture 3.1: Truth-Functional Connectives